1

A Formal Theorem in Church's Theory of Types

Year:
1942
Language:
english
File:
PDF, 442 KB
english, 1942